logical query processing